Defining and Implementing Dynamic Semantics of Object Oriented High Level Petri Nets
نویسنده
چکیده
This paper deals with the dynamic semantics of a new proposed formalism, called Object Oriented High Level Petri Nets (OOHLPN). In the first part of the paper, the formal definition of OOHLPN is briefly introduced, and an example of using OOHLPN is provided. The second part of the paper presents the dynamic semantics of OOHLPN. First, the semantics of Extended High Level Petri Nets with Objects (EHLPNO) is described. These nets are based on standard of High Level Petri Nets, enriched with some object-oriented concepts. Next, the semantics of OOHLPN is described using notions of state, marking, step and step firing. The third part of the paper presents some algorithms for implementing the dynamic semantics of OOHLPN.
منابع مشابه
On Formalizing UML with High-Level Petri Nets
Object-oriented methodologies are increasingly used in software development. Despite the proposal of several formally based models, current object-oriented practice is still dominated by informal methodologies, like Booch, OMT, and UML. Unfortunately, the lack of dynamic semantics of such methodologies limits the possibility of early analysis of specifications. This paper indicates the feasibil...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملObject-Oriented Modelling with High-Level Modular Petri Nets
In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurrent system specifications written in object-oriented formalisms or languages with Petri nets, and second, as a way of allowing automated verification of the obtained Petri net using existing reachability analysis tools. We start ...
متن کاملSoftware modeling and analysis using a hierarchical object-oriented Petri net
Petri net is used widely to analyze and model various systems formally. Recently, many Petri nets mania devote their eorts to enhancing and extending the expressive power of Petri nets. One such eort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software sy...
متن کاملMapping UML 2.0 Activities to Zero-Safe Nets
UML 2.0 activity diagrams (ADs) are largely used as a modeling language for flow-oriented behaviors in software and business processes. Unfortunately, their place/transition operational semantics is unable to capture and preserve semantics of the newly defined high-level activities constructs such as Interruptible Activity Region. Particularly, basic Petri nets do not preserve the non-locality ...
متن کامل